大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [electronic resource] : 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings

0
索取号：
作者：Schmitt、 Jens B.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Transactions on Computational Science XV [electronic resource] : Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

0
索取号：
作者：Gavrilova、 Marina L.、Tan、 C. J. Kenneth.、Phan、 Cong-Vinh.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Foundations of Information and Knowledge Systems [electronic resource] : 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings

0
索取号：
作者：Lukasiewicz、 Thomas.、Sali、 Attila.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings

0
索取号：
作者：Choy、 Oliver C. S.、Cheung、 Ray C. C.、Athanas、 Peter.、Sano、 Kentaro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science [electronic resource] : Volume 1

0
索取号：
作者：Gaol、 Ford Lumban.、Nguyen、 Quang Vinh.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science [electronic resource] : Volume 2

0
索取号：
作者：Gaol、 Ford Lumban.、Nguyen、 Quang Vinh.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Applied Computational Intelligence in Engineering and Information Technology [electronic resource] : Revised and Selected Papers from the 6th IEEE International Symposium on Applied Computational Intelligence and Informatics SACI 2011

0
索取号：
作者：Precup、 Radu-Emil.、Kov谩cs、 Szilveszter.、Preitl、 Stefan.、Petriu、 Emil M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Architecture of Computing Systems-ARCS 2012 [electronic resource] : 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings

0
索取号：
作者：Herkersdorf、 Andreas.、R枚mer、 Kay.、Brinkschulte、 Uwe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Conceptual Modelling and Its Theoretical Foundations [electronic resource] : Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday

0
索取号：
作者：D眉sterh枚ft、 Antje.、Klettke、 Meike.、Schewe、 Klaus-Dieter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Applied Physiology in Intensive Care Medicine 1 [electronic resource] : Physiological Notes - Technical Notes - Seminal Studies in Intensive Care

0
索取号：
作者：Pinsky、 Michael R.、Brochard、 Laurent.、Hedenstierna、 G枚ran.、Antonelli、 Massimo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Building a National Distributed e-Infrastructure鈥揚L-Grid [electronic resource] : Scientific and Technical Achievements

0
索取号：
作者：Bubak、 Marian.、Szepieniec、 Tomasz.、Wiatr、 Kazimierz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Technological Innovation for Value Creation [electronic resource] : Third IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2012, Costa de Caparica, Portugal, February 27-29, 2012. Proceedings

0
索取号：
作者：Camarinha-Matos、 Luis M.、Shahamatnia、 Ehsan.、Nunes、 Gon莽alo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Mathematical Modeling and Computational Science [electronic resource] : International Conference, MMCP 2011, Star谩 Lesn谩, Slovakia, July 4-8, 2011, Revised Selected Papers

0
索取号：
作者：Adam、 Gheorghe.、Bu拧a、 J谩n.、Hnati膷、 Michal.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Applied Parallel and Scientific Computing [electronic resource] : 10th International Conference, PARA 2010, Reykjav铆k, Iceland, June 6-9, 2010, Revised Selected Papers, Part I

0
索取号：
作者：J贸nasson、 Kristj谩n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Applied Parallel and Scientific Computing [electronic resource] : 10th International Conference, PARA 2010, Reykjav铆k, Iceland, June 6-9, 2010, Revised Selected Papers, Part II

0
索取号：
作者：J贸nasson、 Kristj谩n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

The Universal Machine [electronic resource] : From the Dawn of Computing to Digital Consciousness

0
索取号：
作者：Watson、 Ian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.